On the Embeddability of Delaunay Triangulations in Anisotropic, Normed, and Bregman Spaces

Given a two-dimensional space endowed with a divergence function that is convex in the firstargument, continuously differentiable in the second, and satisfies suitable regularity conditionsat Voronoi vertices, we show that orphan-freedom (the absence of disconnected Voronoi regions)is sufficient to ensure that Voronoi edges and vertices are also connected, and that the dual isa simple planar graph. We then prove that the straight-edge dual of an orphan-free Voronoidiagram (with sites as the first argument of the divergence) is always an embedded triangulation.Among the divergences covered by our proofs are Bregman divergences, anisotropic divergences,as well as all distances derived from strictly convex C1 norms (including the Lp norms with1 < p <∞). While Bregman diagrams of the first kind are simply affine diagrams, and their duals(weighted Delaunay triangulations) are always embedded, we show that duals of orphan-freeBregman diagrams of the second kind are always embedded. 1arXiv:1512.03589v2[cs.CG]9Jan2016